The Octahedron Abstract Domain
نویسندگان
چکیده
An interesting area in static analysis is the study of numerical properties. Complex properties can be analyzed using abstract interpretation, provided that an adequate abstract domain is defined. Each domain can represent and manipulate a family of properties, providing a different trade-off between the precision and complexity of the analysis. The contribution of this paper is a new numerical abstract domain called octahedron that represents constraints of the form ( ∑ xi − ∑ xj ≥ k). The implementation of octahedra is based on a new kind of decision diagrams called Octahedron Decision Diagrams (OhDD).
منابع مشابه
The 4-Octahedron Abstract Domain
In the code static analysis, the choice of an adequate abstract domain is an interesting issue. In this paper, we provide a new numerical abstract domain: 4-Octahedron. It is an Octahedra subclass that infers relations of the form : { x ∼ α, x−y ∼ β, (x−y)−(z−t) ∼ λ}, such that: x, y, z and t are real variables, α, β and λ are real constants and ∼ ∈ {≤,≥}. The 4-Octahedron extends the conjuncti...
متن کاملAnalysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملInscribing a regular octahedron into polytopes
We prove that any simple polytope (and some non-simple polytopes) in R admits an inscribed regular octahedron.
متن کاملSeminar: Aktuelle Themen aus der Theorie der Programmierung Numerical Domains A Practical Construction for Decomposing Numerical Abstract Domains
Domains Gagandeep Singh, Markus Püschel, Martin Vechev Numerical abstract domains such as Polyhedra, Octahedron, Octagon, Interval, and others are an essential component of static program analysis. The choice of domain offers a performance/precision tradeoff ranging from cheap and imprecise (Interval) to expensive and precise (Polyhedra). Recently, significant speedups were achieved for Octagon...
متن کاملThe fractal octahedron network of the large scale structure
In a previous article, we have proposed that the large scale structure network generated by large scale magnetic fields could consist of a network of octahedra only contacting at their vertexes. Assuming such a network could arise at different scales producing a fractal geometry, we study here its properties, and in particular how a sub-octahedron network can be inserted within an octahedron of...
متن کامل